klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --attributes-only file1 file2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --backup=existing x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --backup=never x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --backup=nil x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --backup=none x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --backup=numbered x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --backup=off x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --backup=simple x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --backup=t x y
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --force --backup=simple --suffix=.b F F
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --no-preserve=mode --preserve=all a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --no-preserve=mode -r d2 d3
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --no-preserve=mode b c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --parents f/g d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --preserve=links -R -H a b c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --preserve=links -R -L d c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --preserve=mode -R --copy-contents --parents mode d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --reflink /tmp/tmp60000/a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --reflink=auto --sparse=always /tmp/tmp60000/a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --reflink=auto /tmp/tmp60000/a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --rem foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --rem symlink foo
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --sparse=always k k2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --sparse=never k k2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --verbose -a --parents a/b/c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc --version
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -H -R slink src-dir dest-dir
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -R --parents foo/ bar
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -R --remove-destination d e
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -R dir dir
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -R dir1/ dir2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -RL a b d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -T --force --backup=simple --suffix=.b F F
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -a --no-preserve=mode a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -a --no-preserve=mode b c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -a --parents d/a/b/c e
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -a --parents sym/b/c g
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -b foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -b symlink foo
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bd foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bd symlink foo
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bdf foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bdfl foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bdl foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bf foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bf symlink foo
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bfl foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bl foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -bn c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -d a b c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -d f slink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -d foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -d symlink foo
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -dR --no-preserve=links d c
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -df foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -df symlink foo
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -dfl foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -dl foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -f foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -f symlink foo
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -fl foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -iR a b
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -l foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -r src/. dst/
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -rl a dir dir
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -rl dir dir
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -vfi c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -vfn c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -vi c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -vin c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -vnf c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc -vni c d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc /proc/cpuinfo exp
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc /proc/kallsyms 1
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc f f2
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc foo symlink
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc src d
klee -posix-runtime -libc=uclibc  -emit-all-errors -max-time=600 -use -max-solver-time=30 --disable-verify cp.bc symlink foo
